- математический логика
- математический логика mathematics of logic
Sokrat personal. 2014.
математический логика
Look at other dictionaries:
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
МАТЕМАТИЧЕСКИЙ — (греч.). Относящийся к математике. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. МАТЕМАТИЧЕСКИЙ 1) относящийся к математике; 2) основанный на числовых данных. Словарь иностранных слов, вошедших в состав русского… … Словарь иностранных слов русского языка
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия
ЛОГИКА ПОР-РОЯЛЯ — ЛОГИКА ПОР РОЯЛЯ книга по дедуктивной логике, вышедшая в Париже в 1662 анонимно под названием “Logique ou l art de penser” (“Логика или искусство мыслить”). До нач. 19 го столетия была самым популярным учебником логики, выдержала более 50… … Философская энциклопедия
ЛОГИКА ФОРМАЛЬНАЯ — наука, изучающая мышление с т. зр. его способности быть оформленным в языке. Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как науки о формах и законах правильного мышления. Однако именно языковая… … Современный философский словарь
Математический анализ — У этого термина существуют и другие значения, см. Анализ. Математический анализ совокупность разделов математики, посвящённых исследованию функций и их обобщений методами дифференциального и интегрального исчислений. При столь общей… … Википедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
Математический институт им. В. А. Стеклова РАН — У этого термина существуют и другие значения, см. Математический институт. Математический институт им. В. А. Стеклова РАН (МИАН) … Википедия
Математический факультет МГПУ — Математический факультет Московского городского педагогического университета является одним из старейших факультетов университета. Он был открыт 1 апреля 1995 года (через месяц после основания университета) для подготовки учителей математики и… … Википедия
Формальная логика — Формальная логика конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Формальная логика, в отличие от неформальной,… … Википедия
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
